1. Collected works
المؤلف: Kurt Godel
المکتبة: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع: Logic, symbolic and mathematical
2. Collected works
المؤلف: Godel, Kurt Friedrich, 6091-8791
المکتبة: (طهران)
موضوع: Collected works ، Logic, Symbolic and mathematical
رده :
QA
9
.
G5313
3. Collected works, Works. English & German. 5891
المؤلف: Godel, Kurt
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic, Symbolic and mathematical
رده :
QA
9
.
G5313
1986
4. Collegium Logicum.
المؤلف: Kurt Gödel Society.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Computer software.,Mathematics.
5. Collegium Logicum.
المؤلف: Kurt-Gödel-Gesellschaft
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Computer software.,Logic design.
6. Obras completas
المؤلف: Kurt Gödel; introducción y traducción de Jesús Mosterín.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Lògica matemàtica.
رده :
QA9
.
65
K878
2006
7. On formally undecidable propositions of Principia mathematica and related systems
المؤلف: Kurt Godel ; translated by B. Meltzer ; introduction by R.B. Braithwaite
المکتبة: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع: Geodel's theorem
8. On formally undecidable propositions of Principia mathematica and related systems
المؤلف: Godel, Kurt.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Godel's theorem
رده :
QA
248
.
G573
1992
9. On formally undecidable propositions of principia mathematica and related systems
المؤلف: Godel, Kurt Friedrich, 6091-8791
المکتبة: (طهران)
موضوع: ، Godel's theorem
رده :
QA
9
.
65
.
G63U213
10. Scritti scelti :
المؤلف: Kurt Gödel ; a cura di Gabriele Lolli.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logica matematica.
11. The consistency of the Axiom of choice and of the generalized continuum- Hypothesis with the Axioms of set theory
المؤلف: / Kurt Godel
المکتبة: مكتبات الكلية التقنية 1 بجامعة طهران (طهران)
موضوع: Mathematics-philosophy,Logic,Symbolic and mathematical
رده :
QA
9
.
G54
12. The consistency of the axiom of choice and of the generalized continum-hypothesis with the axioms of set theory
المؤلف: Godel, Kurt
المکتبة: (طهران)
موضوع: ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1953
13. The consistency of the axiom of choice and of the generalized continuum - Hypothesis with the axioms of set theory
المؤلف: Godel, Kurt
المکتبة: (خراسان الجنوبیة)
موضوع: ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
14. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
المؤلف: Godel, Kurt
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Mathematics-- Philosophy,، Logic, Symbolic and mathematical
رده :
QA
1
.
A626
no
.
3
15. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
المؤلف: /by Kurt Godel.,گودل,Godel
المکتبة: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع: ریاضیات,منطق ریاضی, -- فلسفه
رده :
QA
۹
/
گ
۹
ک
۲ ۱۳۴۵
16. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
المؤلف: Godel, kurt
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics-Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1966
17. The consistency of the axiom of choice and of the generalized continuum-hypothesis with the axioms of set theory
المؤلف: Godel, Kurt.
المکتبة: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع: Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1940
18. The consistency of the axiom of choice and of the genralized continuum-hypothesis with the axioms of set theory
المؤلف: Godel, Kurt
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع: Mathematics-philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
G54
1968
19. ناتماميت
المؤلف: / ربکا گلدستين,عنوان اصلي: Incompleteness : the proof and paradox of Kurt Godel, c2005,گلدستاين,Goldstein
المکتبة: (خراسان رضوی)
موضوع: گودل، کورت، ۱۹۰۶ - ۱۹۷۸م,منطق‌دان‌ها,Logicians,منطق‌دان‌ها,Logicians,گودل، قضيه,-- سرگذشتنامه,-- Biography,-- سرگذشتنامه,-- Biography,-- ایالات متحده,-- United States,-- اتریش,-- Austria
رده :
۵۱۰
/
۹۲
گ
۷۴۹
/
نگ
20. ناتمامیت: اثبات و پارادوکس کرت گودل
المؤلف: / ربکا گلدستین,عنوان اصلی: Incompleteness : the proof and paradox of Kurt Gödel, c2005.,گلدستاین,Goldstein
المکتبة: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع: گودل,، کورت,، ۱۹۰۶ - ۱۹۷۸م.,a01,منطق‌دان‌ها,Logicians,منطق‌دان‌ها,Logicians,گودل، قضیه,Godel's theorem,-- سرگذشتنامه,-- Biography,-- سرگذشتنامه,-- Biography,-- ایالات متحده,-- United States,-- اتریش,-- Austria,a10,a10
رده :
QA
۲۹
/
گ
۹
گ
۸ ۱۳۹۴
